restricted direct product

限制直积